Search results for "non-axiomatic logic"
showing 2 items of 2 documents
Comparative Reasoning for Intelligent Agents
2023
We demonstrate new comparative reasoning abilities of NARS, a formal model of intelligence, which enable the asymmetric comparison of perceivable quantifiable attributes of objects using rela- tions. These new abilities are implemented by extending NAL with addi- tional inference rules. We demonstrate the new capabilities in a bottle- picking experiment on a mobile robot running ONA, an implementation of NARS.
Self in NARS, an AGI System
2018
This article describes and discusses the self-related mechanisms of a general-purpose intelligent system, NARS. This system is designed to be adaptive and to work with insufficient knowledge and resources. The system’s various cognitive functions are uniformly carried out by a central reasoning-learning process following a “non-axiomatic” logic. This logic captures the regularities of human empirical reasoning, where all beliefs are revisable according to evidence, and the meaning of concepts are grounded in the system’s experience. NARS perceives its internal environment basically in the same way as how it perceives its external environment although the sensors involved are completely diff…